#include <po_hi_protocols.h>
#include <deployment.h>
__po_hi_inetport_t node_port[__PO_HI_NB_NODES] = {};
__po_hi_inetaddr_t node_addr[__PO_HI_NB_NODES] = {};

